Instance,nrRules,success,nrStates,n,runtime_ms
1,10,1,4,1,22
2,10,1,4,1,5
3,10,1,4,1,4
4,10,1,4,1,3
5,10,1,4,1,3
6,10,1,4,1,2
7,10,1,4,1,2
8,10,1,4,1,2
9,10,1,4,1,2
10,10,1,4,1,2
11,10,1,4,1,2
12,10,1,4,1,2
13,10,1,4,1,2
14,10,1,4,1,2
15,10,1,4,1,2
16,10,1,4,1,2
17,10,1,4,1,2
18,10,1,4,1,2
19,10,1,4,1,2
20,10,1,4,1,1
21,10,1,4,1,1
22,116,1,25,2,11
23,116,1,25,2,8
24,116,1,25,2,7
25,116,1,25,2,6
26,116,1,25,2,6
27,116,1,25,2,5
28,116,1,25,2,5
29,116,1,25,2,4
30,116,1,25,2,5
31,116,1,25,2,4
32,116,1,25,2,4
33,116,1,25,2,4
34,116,1,25,2,4
35,116,1,25,2,4
36,116,1,25,2,5
37,116,1,25,2,3
38,116,1,25,2,3
39,116,1,25,2,3
40,116,1,25,2,3
41,116,1,25,2,3
42,116,1,25,2,3
43,116,1,25,2,3
44,116,1,25,2,3
45,116,1,25,2,3
46,116,1,25,2,3
47,116,1,25,2,3
48,116,1,25,2,3
49,116,1,25,2,3
50,116,1,25,2,3
51,116,1,25,2,3
52,116,1,25,2,3
53,116,1,25,2,2
54,116,1,25,2,3
55,116,1,25,2,3
56,116,1,25,2,3
57,116,1,25,2,3
58,116,1,25,2,3
59,116,1,25,2,3
60,116,1,25,2,3
61,116,1,25,2,3
62,116,1,25,2,2
63,116,1,25,2,2
64,116,1,25,2,2
65,116,1,25,2,2
66,116,1,25,2,2
67,116,1,25,2,2
68,116,1,25,2,2
69,116,1,25,2,3
70,116,1,25,2,3
71,116,1,25,2,2
72,116,1,25,2,2
73,116,1,25,2,2
74,116,1,25,2,2
75,116,1,25,2,3
76,116,1,25,2,2
77,116,1,25,2,2
78,116,1,25,2,2
79,116,1,25,2,3
80,116,1,25,2,2
81,116,1,25,2,2
82,116,1,25,2,2
83,116,1,25,2,2
84,116,1,25,2,2
85,116,1,25,2,2
86,116,1,25,2,2
87,116,1,25,2,2
88,116,1,25,2,2
89,116,1,25,2,2
90,116,1,25,2,2
91,116,1,25,2,2
92,116,1,25,2,2
93,116,1,25,2,2
94,116,1,25,2,2
95,123,1,28,2,2
96,116,1,25,2,2
97,116,1,25,2,2
98,116,1,25,2,2
99,116,1,25,2,2
100,116,1,25,2,2
101,116,1,25,2,2
102,116,1,25,2,2
103,116,1,25,2,1
104,116,1,25,2,2
105,116,1,25,2,1
106,116,1,25,2,1
107,116,1,25,2,1
108,116,1,25,2,1
109,116,1,25,2,2
110,116,1,25,2,1
111,116,1,25,2,1
112,116,1,25,2,1
113,116,1,25,2,1
114,116,1,25,2,1
115,116,1,25,2,1
116,116,1,25,2,1
117,116,1,25,2,1
118,116,1,25,2,2
119,116,1,25,2,1
120,116,1,25,2,1
121,230,1,37,2,2
122,116,1,25,2,1
123,116,1,25,2,1
124,116,1,25,2,1
125,116,1,25,2,1
126,116,1,25,2,1
127,116,1,25,2,1
128,116,1,25,2,2
129,116,1,25,2,1
130,116,1,25,2,1
131,116,1,25,2,1
132,116,1,25,2,2
133,116,1,25,2,2
134,116,1,25,2,1
135,116,1,25,2,1
136,116,1,25,2,1
137,116,1,25,2,1
138,116,1,25,2,1
139,116,1,25,2,2
140,116,1,25,2,1
141,116,1,25,2,1
142,116,1,25,2,1
143,116,1,25,2,1
144,116,1,25,2,1
145,116,1,25,2,1
146,116,1,25,2,1
147,116,1,25,2,1
148,116,1,25,2,1
149,116,1,25,2,1
150,630,1,94,3,5
151,630,1,94,3,3
152,528,1,82,3,3
153,630,1,94,3,3
154,528,1,82,3,4
155,630,1,94,3,5
156,660,1,94,3,5
157,630,1,94,3,4
158,630,1,94,3,3
159,630,1,94,3,3
160,528,1,82,3,3
161,660,1,94,3,5
162,528,1,82,3,4
163,630,1,94,3,3
164,528,1,82,3,3
165,528,1,82,3,3
166,528,1,82,3,3
167,630,1,94,3,4
168,630,1,94,3,3
169,528,1,82,3,3
170,528,1,82,3,3
171,630,1,94,3,3
172,642,1,94,3,3
173,528,1,82,3,3
174,642,1,94,3,3
175,630,1,94,3,3
176,630,1,94,3,3
177,528,1,82,3,2
178,660,1,94,3,3
179,528,1,82,3,2
180,528,1,82,3,2
181,642,1,94,3,3
182,630,1,94,3,3
183,660,1,94,3,3
184,660,1,94,3,3
185,528,1,82,3,2
186,642,1,94,3,3
187,630,1,94,3,2
188,630,1,94,3,2
189,528,1,82,3,2
190,630,1,94,3,3
191,660,1,94,3,3
192,642,1,94,3,3
193,630,1,94,3,3
194,630,1,94,3,3
195,528,1,82,3,2
196,660,1,94,3,3
197,528,1,82,3,2
198,630,1,94,3,3
199,528,1,82,3,2
200,630,1,94,3,3
201,528,1,82,3,2
202,528,1,82,3,2
203,528,1,82,3,3
204,660,1,94,3,3
205,660,1,94,3,3
206,660,1,94,3,3
207,630,1,94,3,3
208,660,1,94,3,3
209,630,1,94,3,3
210,630,1,94,3,3
211,528,1,82,3,2
212,528,1,82,3,3
213,630,1,94,3,2
214,630,1,94,3,3
215,630,1,94,3,3
216,528,1,82,3,2
217,528,1,82,3,2
218,660,1,94,3,4
219,630,1,94,3,3
220,660,1,94,3,3
221,528,1,82,3,3
222,630,1,94,3,3
223,853,1,121,3,3
224,528,1,82,3,3
225,853,1,121,3,4
226,528,1,82,3,3
227,630,1,94,3,4
228,630,1,94,3,3
229,630,1,94,3,3
230,528,1,82,3,3
231,630,1,94,3,3
232,528,1,82,3,3
233,528,1,82,3,3
234,528,1,82,3,3
235,630,1,94,3,3
236,528,1,82,3,3
237,630,1,94,3,3
238,630,1,94,3,3
239,642,1,94,3,3
240,630,1,94,3,3
241,642,1,94,3,3
242,528,1,82,3,3
243,630,1,94,3,3
244,528,1,82,3,3
245,528,1,82,3,3
246,528,1,82,3,3
247,630,1,94,3,3
248,630,1,94,3,3
249,528,1,82,3,3
250,660,1,94,3,3
251,528,1,82,3,3
252,528,1,82,3,3
253,630,1,94,3,3
254,630,1,94,3,3
255,528,1,82,3,3
256,528,1,82,3,3
257,528,1,82,3,2
258,630,1,94,3,3
259,630,1,94,3,3
260,630,1,94,3,2
261,528,1,82,3,2
262,630,1,94,3,3
263,528,1,82,3,2
264,630,1,94,3,2
265,528,1,82,3,2
266,660,1,94,3,3
267,528,1,82,3,2
268,660,1,94,3,2
269,528,1,82,3,2
270,1612,1,211,4,6
271,2092,1,247,4,12
272,1468,1,193,4,9
273,2092,1,247,4,10
274,1864,1,223,4,8
275,1924,1,229,4,8
276,1612,1,211,4,7
277,1612,1,211,4,6
278,1864,1,223,4,7
279,1612,1,211,4,6
280,1432,1,187,4,6
281,2092,1,247,4,8
282,1534,1,199,4,5
283,2218,1,253,4,7
284,2092,1,247,4,6
285,1612,1,211,4,6
286,2092,1,247,4,6
287,2092,1,247,4,7
288,1612,1,211,4,5
289,2092,1,247,4,6
290,1612,1,211,4,5
291,1864,1,223,4,6
292,1498,1,199,4,5
293,1468,1,193,4,5
294,2092,1,247,4,7
295,207,0,30,4,1
296,1612,1,211,4,6
297,2092,1,247,4,11
298,1864,1,223,4,10
299,21,0,9,4,0
300,1864,1,223,4,10
301,1612,1,211,4,9
302,207,0,30,4,1
303,1468,1,193,4,8
304,1498,1,199,4,8
305,1864,1,223,4,10
306,2068,1,241,4,10
307,1864,1,223,4,8
308,1534,1,199,4,5
309,75,0,18,4,0
310,1864,1,223,4,6
311,1864,1,223,4,6
312,2092,1,247,4,7
313,1468,1,193,4,5
314,1612,1,211,4,6
315,1612,1,211,4,6
316,1432,1,187,4,5
317,1864,1,223,4,6
318,2902,1,289,4,9
319,2092,1,247,4,7
320,1498,1,199,4,5
321,1864,1,223,4,6
322,2428,1,265,4,7
323,2092,1,247,4,7
324,51,0,15,4,0
325,1534,1,199,4,5
326,1534,1,199,4,5
327,2092,1,247,4,7
328,1612,1,211,4,6
329,21,0,9,4,0
330,1612,1,211,4,6
331,1534,1,199,4,6
332,1864,1,223,4,6
333,1432,1,187,4,5
334,1534,1,199,4,6
335,1498,1,199,4,5
336,1864,1,223,4,7
337,1468,1,193,4,5
338,1468,1,193,4,5
339,2092,1,247,4,7
340,1534,1,199,4,6
341,2902,1,289,4,9
342,1468,1,193,4,5
343,1534,1,199,4,6
344,1468,1,193,4,5
345,1612,1,211,4,5
346,1924,1,229,4,6
347,2092,1,247,4,7
348,2092,1,247,4,6
349,2092,1,247,4,7
350,2092,1,247,4,7
351,1432,1,187,4,5
352,1498,1,199,4,5
353,21,0,9,4,0
354,1924,1,229,4,6
355,1534,1,199,4,5
356,1534,1,199,4,5
357,1924,1,229,4,6
358,1924,1,229,4,6
359,2092,1,247,4,6
360,2092,1,247,4,7
361,1612,1,211,4,5
362,2092,1,247,4,6
363,2092,1,247,4,6
364,1498,1,199,4,5
365,2068,1,241,4,6
366,2092,1,247,4,6
367,2092,1,247,4,6
368,2092,1,247,4,6
369,1612,1,211,4,5
370,2092,1,247,4,6
371,1864,1,223,4,6
372,1612,1,211,4,5
373,1612,1,211,4,5
374,1612,1,211,4,5
375,2092,1,247,4,6
376,1498,1,199,4,5
377,2092,1,247,4,6
378,1432,1,187,4,5
379,1498,1,199,4,5
380,1924,1,229,4,6
381,1498,1,199,4,5
382,1612,1,211,4,5
383,1612,1,211,4,5
384,1498,1,199,4,6
385,1498,1,199,4,5
386,1612,1,211,4,6
387,1498,1,199,4,5
388,2080,1,241,4,6
389,2092,1,247,4,6
390,1612,1,211,4,5
391,1612,1,211,4,7
392,1498,1,199,4,5
393,1498,1,199,4,5
394,1612,1,211,4,5
395,2092,1,247,4,7
396,2092,1,247,4,10
397,1864,1,223,4,10
398,1612,1,211,4,9
399,1864,1,223,4,10
400,1498,1,199,4,8
401,1498,1,199,4,8
402,2092,1,247,4,10
403,1468,1,193,4,8
404,1864,1,223,4,10
405,1924,1,229,4,10
406,1924,1,229,4,10
407,1612,1,211,4,9
408,1468,1,193,4,8
409,1612,1,199,4,8
410,1612,1,211,4,9
411,1864,1,223,4,10
412,1534,1,199,4,9
413,1612,1,211,4,9
414,1612,1,211,4,7
415,1498,1,199,4,5
416,1612,1,211,4,5
417,75,0,18,4,0
418,1864,1,223,4,6
419,1612,1,211,4,5
420,1534,1,199,4,5
421,1612,1,211,4,5
422,1432,1,187,4,5
423,2092,1,247,4,6
424,1498,1,199,4,5
425,1432,1,187,4,5
426,1864,1,223,4,6
427,2068,1,241,4,7
428,1864,1,223,4,6
429,1864,1,223,4,6
430,1612,1,211,4,6
431,1498,1,199,4,5
432,1612,1,211,4,5
433,1612,1,211,4,7
434,1612,1,211,4,7
435,1864,1,223,4,8
436,2092,1,247,4,8
437,1924,1,229,4,8
438,2092,1,247,4,28
439,1864,1,223,4,16
440,1534,1,199,4,14
441,1612,1,211,4,15
442,2902,1,289,4,23
443,1612,1,211,4,15
444,4250,1,466,5,35
445,94,0,24,5,2
446,58,0,18,5,1
447,4844,1,490,5,39
448,3680,1,412,5,31
449,4364,1,472,5,30
450,58,0,18,5,0
451,4112,1,448,5,13
452,58,0,18,5,0
453,5132,1,514,5,16
454,58,0,18,5,1
455,4310,1,466,5,33
456,4340,1,472,5,33
457,4310,1,466,5,33
458,4250,1,466,5,32
459,4364,1,472,5,32
460,4088,1,436,5,39
461,4250,1,466,5,51
462,1970,1,256,5,32
463,352,0,54,5,5
464,4310,1,466,5,45
465,112,0,27,5,2
466,2168,1,274,5,24
467,4310,1,466,5,45
468,2258,1,286,5,25
469,4364,1,472,5,44
470,4148,1,448,5,45
471,3998,1,442,5,43
472,6956,1,622,5,63
473,4364,1,472,5,45
474,4112,1,448,5,44
475,6428,1,574,5,53
476,5132,1,514,5,49
477,6956,1,622,5,33
478,4364,1,472,5,23
479,4088,1,436,5,19
480,3074,1,376,5,14
481,3680,1,412,5,17
482,4364,1,472,5,18
483,4364,1,472,5,23
484,4364,1,472,5,19
485,4310,1,466,5,22
486,683,0,93,5,3
487,1970,1,256,5,11
488,3422,1,400,5,19
489,4082,1,442,5,22
490,3680,1,412,5,19
491,1156,0,147,5,7
492,4436,1,472,5,24
493,286,0,45,5,2
494,3728,1,406,5,18
495,3680,1,412,5,19
496,4250,1,466,5,22
497,4064,1,448,5,21
498,112,0,27,5,1
499,484,0,63,5,2
500,6428,1,574,5,33
501,4364,1,472,5,41
502,3680,1,412,5,37
503,3998,1,442,5,40
504,286,0,45,5,3
505,3212,1,388,5,35
506,6956,1,622,5,58
507,2384,1,298,5,25
508,4364,1,472,5,30
509,3212,1,388,5,29
510,3998,1,442,5,40
511,2558,1,310,5,30
512,4112,1,448,5,13
513,5498,1,550,5,16
514,112,0,27,5,0
515,4250,1,466,5,14
516,4250,1,466,5,13
517,3818,1,418,5,12
518,3038,1,376,5,24
519,3818,1,418,5,32
520,3434,1,406,5,23
521,4148,1,448,5,18
522,3212,1,388,5,11
523,112,0,27,5,1
524,3110,1,376,5,11
525,4112,1,448,5,13
526,2438,1,298,5,8
527,4478,1,466,5,14
528,4112,1,448,5,13
529,5498,1,550,5,16
530,4250,1,466,5,13
531,3626,1,394,5,11
532,58,0,18,5,0
533,5132,1,514,5,16
534,5498,1,550,5,17
535,4478,1,466,5,14
536,4310,1,466,5,13
537,3038,1,376,5,11
538,3038,1,376,5,10
539,3038,1,376,5,11
540,3038,1,376,5,10
541,3038,1,376,5,10
542,3038,1,376,5,10
543,5498,1,550,5,16
544,4364,1,472,5,14
545,3998,1,442,5,13
546,3038,1,376,5,11
547,3410,1,382,5,11
548,4364,1,472,5,13
549,3728,1,406,5,12
550,3212,1,388,5,11
551,4064,1,448,5,13
552,58,0,18,5,0
553,467,0,66,5,1
554,5132,1,514,5,16
555,4064,1,448,5,13
556,4082,1,442,5,13
557,4364,1,472,5,13
558,5132,1,514,5,15
559,4280,1,460,5,14
560,3818,1,418,5,12
561,6458,1,586,5,18
562,5498,1,550,5,16
563,3818,1,418,5,12
564,4082,1,442,5,14
565,394,0,60,5,1
566,4064,1,448,5,13
567,5498,1,550,5,16
568,4250,1,466,5,13
569,4250,1,466,5,13
570,6428,1,574,5,24
571,316,0,51,5,1
572,4250,1,466,5,14
573,3818,1,418,5,13
574,4250,1,466,5,13
575,6428,1,574,5,19
576,4250,1,466,5,13
577,268,0,51,5,1
578,6506,1,586,5,19
579,232,0,42,5,1
580,6956,1,622,5,20
581,4250,1,466,5,13
582,6428,1,574,5,28
583,4250,1,466,5,15
584,4082,1,442,5,14
585,4148,1,448,5,15
586,3230,1,364,5,10
587,5498,1,550,5,16
588,3074,1,376,5,11
589,4250,1,466,5,13
590,4064,1,448,5,13
591,58,0,18,5,0
592,4112,1,448,5,13
593,4310,1,466,5,15
594,4250,1,466,5,14
595,4064,1,448,5,13
596,4064,1,448,5,13
597,4556,1,466,5,14
598,2168,1,274,5,7
599,382,0,57,5,1
600,4364,1,472,5,16
601,4364,1,472,5,14
602,6518,1,586,5,19
603,3818,1,418,5,12
604,4082,1,442,5,13
605,112,0,27,5,0
606,4250,1,466,5,14
607,316,0,51,5,1
608,3230,1,364,5,11
609,4064,1,448,5,13
610,4250,1,466,5,13
611,467,0,66,5,1
612,4082,1,442,5,14
613,4082,1,442,5,13
614,5498,1,550,5,16
615,5498,1,550,5,17
616,4838,1,490,5,15
617,5498,1,550,5,16
618,5498,1,550,5,16
619,5498,1,550,5,16
620,3212,1,388,5,11
621,4250,1,466,5,13
622,4064,1,448,5,13
623,1892,1,250,5,7
624,5498,1,550,5,15
625,2168,1,274,5,7
626,58,0,18,5,0
627,94,0,24,5,0
628,2468,1,298,5,8
629,4340,1,472,5,13
630,4364,1,472,5,13
631,4364,1,472,5,13
632,4268,1,460,5,19
633,316,0,51,5,2
634,3902,1,430,5,26
635,4148,1,448,5,22
636,4250,1,466,5,21
637,3074,1,376,5,17
638,4112,1,448,5,21
639,4310,1,466,5,21
640,58,0,18,5,1
641,6518,1,586,5,31
642,3230,1,364,5,17
643,3110,1,376,5,18
644,4280,1,460,5,22
645,58,0,18,5,1
646,3212,1,388,5,19
647,3074,1,376,5,17
648,4364,1,472,5,16
649,3680,1,412,5,12
650,4364,1,472,5,13
651,4112,1,448,5,13
652,3728,1,406,5,11
653,3818,1,418,5,12
654,4082,1,442,5,13
655,4148,1,448,5,13
656,6956,1,622,5,19
657,4268,1,460,5,14
658,4364,1,472,5,13
659,7500,1,769,6,26
660,9444,1,907,6,28
661,9618,1,919,6,29
662,6780,1,727,6,23
663,7452,1,775,6,24
664,12738,1,1075,6,36
665,7284,1,751,6,25
666,6114,1,655,6,20
667,401,0,66,6,1
668,12786,1,1075,6,38
669,9618,1,859,6,27
670,12210,1,1027,6,36
671,9390,1,895,6,29
672,437,0,72,6,1
673,9618,1,919,6,30
674,251,0,48,6,1
675,5556,1,637,6,20
676,5208,1,613,6,19
677,6912,1,733,6,24
678,659,0,90,6,2
679,9618,1,919,6,30
680,5670,1,649,6,20
681,455,0,75,6,2
682,12786,1,1075,6,37
683,9444,1,907,6,28
684,7392,1,757,6,25
685,6228,1,631,6,22
686,6816,1,727,6,22
687,7104,1,745,6,23
688,4836,1,535,6,17
689,9738,1,847,6,29
690,7104,1,745,6,25
691,7224,1,751,6,25
692,7188,1,757,6,27
693,335,0,54,6,1
694,647,0,93,6,2
695,659,0,90,6,2
696,5064,1,583,6,20
697,9162,1,871,6,30
698,9996,1,895,6,32
699,7260,1,751,6,24
700,18288,1,1309,6,48
701,12786,1,1075,6,38
702,12786,1,1075,6,38
703,12258,1,1051,6,35
704,7224,1,751,6,24
705,11136,1,925,6,32
706,7224,1,751,6,25
707,2796,1,355,6,10
708,7224,1,751,6,24
709,6996,1,715,6,22
710,364,0,54,6,1
711,7890,1,775,6,24
712,7452,1,775,6,25
713,6708,1,721,6,23
714,7284,1,751,6,24
715,9162,1,871,6,29
716,9078,1,871,6,29
717,1319,0,153,6,4
718,6348,1,679,6,21
719,12258,1,1051,6,35
720,9648,1,919,6,30
721,6624,1,703,6,22
722,2297,0,222,6,5
723,701,0,96,6,2
724,7536,1,775,6,25
725,9420,1,865,6,28
726,14442,1,1159,6,41
727,203,0,45,6,1
728,7500,1,769,6,24
729,12438,1,1051,6,36
730,149,0,36,6,1
731,3966,1,451,6,13
732,149,0,36,6,1
733,3570,1,439,6,12
734,2682,1,343,6,10
735,5208,1,613,6,18
736,953,0,123,6,2
737,953,0,123,6,2
738,221,0,45,6,1
739,12012,1,1015,6,36
740,4836,1,535,6,16
741,6456,1,679,6,21
742,7416,1,769,6,24
743,7416,1,769,6,24
744,9444,1,907,6,28
745,6348,1,679,6,22
746,10866,1,955,6,42
747,12012,1,1015,6,54
748,9216,1,883,6,45
749,377,0,63,6,2
750,10488,1,919,6,47
751,5286,1,583,6,28
752,7500,1,769,6,40
753,4878,1,529,6,25
754,4878,1,529,6,25
755,990,0,135,6,5
756,7254,1,721,6,35
757,9444,1,907,6,45
758,6780,1,727,6,36
759,7200,1,751,6,26
760,12210,1,1027,6,36
761,9618,1,919,6,29
762,5010,1,559,6,17
763,7536,1,775,6,26
764,7536,1,775,6,25
765,12745,1,1078,6,37
766,5034,1,511,6,16
767,5448,1,583,6,18
768,2958,1,367,6,11
769,9216,1,895,6,28
770,12738,1,1075,6,36
771,7224,1,751,6,24
772,9618,1,919,6,38
773,12786,1,1075,6,49
774,149,0,36,6,1
775,6816,1,727,6,30
776,6168,1,685,6,29
777,5466,1,553,6,23
778,4878,1,529,6,21
779,7284,1,751,6,33
780,7284,1,751,6,33
781,7284,1,751,6,32
782,7284,1,751,6,32
783,5748,1,631,6,27
784,4836,1,535,6,22
785,7500,1,769,6,33
786,2958,1,367,6,14
787,7560,1,781,6,33
788,4056,1,463,6,18
789,3221,0,333,6,11
790,7560,1,781,6,33
791,3174,1,391,6,15
792,7560,1,781,6,32
793,7260,1,751,6,32
794,9282,1,883,6,40
795,9444,1,907,6,48
796,14568,1,1159,6,57
797,9162,1,871,6,59
798,6708,1,721,6,33
799,149,0,36,6,1
800,2838,1,367,6,15
801,1181,0,141,6,7
802,6780,1,727,6,30
803,5436,1,589,6,32
804,7386,1,685,6,37
805,9216,1,883,6,44
806,7284,1,751,6,34
807,6780,1,727,6,29
808,12241,1,1069,6,47
809,11910,1,1003,6,49
810,7104,1,745,6,31
811,149,0,36,6,1
812,3804,1,451,6,18
813,3060,1,373,6,14
814,1260,0,156,6,4
815,5448,1,583,6,23
816,8004,1,811,6,35
817,9216,1,883,6,38
818,7578,1,781,6,34
819,7452,1,775,6,31
820,7452,1,775,6,31
821,323,0,54,6,1
822,1319,0,156,6,4
823,23670,1,1543,6,82
824,9216,1,883,6,38
825,7500,1,769,6,33
826,5250,1,565,6,23
827,7536,1,775,6,32
828,149,0,36,6,1
829,7224,1,751,6,32
830,7104,1,745,6,31
831,5670,1,649,6,27
832,8557,1,871,6,37
833,7500,1,769,6,25
834,1181,0,141,6,3
835,401,0,66,6,1
836,149,0,36,6,0
837,12258,1,1051,6,35
838,9648,1,919,6,29
839,7573,1,784,6,26
840,12438,1,1051,6,36
841,623,0,90,6,2
842,431,0,72,6,1
843,9618,1,919,6,28
844,5706,1,649,6,20
845,3671,0,375,6,9
846,408,0,69,7,1
847,10024,1,1024,7,36
848,14488,1,1360,7,50
849,1386,0,174,7,4
850,10858,1,1108,7,37
851,16930,1,1408,7,49
852,474,0,81,7,2
853,4636,1,550,7,17
854,10936,1,1114,7,39
855,39862,1,2488,7,109
856,14122,1,1324,7,48
857,1470,0,180,7,4
858,5626,1,628,7,20
859,606,0,93,7,2
860,612,0,93,7,2
861,342,0,66,7,1
862,11632,1,1174,7,39
863,31672,1,2104,7,91
864,19744,1,1624,7,60
865,14836,1,1384,7,49
866,7456,1,808,7,27
867,5476,1,616,7,20
868,11494,1,1156,7,40
869,1068,0,138,7,3
870,8626,1,892,7,38
871,19222,1,1588,7,102
872,17284,1,1480,7,85
873,1548,0,186,7,7
874,1296,0,171,7,6
875,23806,1,1840,7,114
876,1176,0,150,7,5
877,852,0,114,7,4
878,23872,1,1792,7,75
879,792,0,105,7,2
880,38494,1,2392,7,111
881,11221,1,1168,7,40
882,11554,1,1156,7,40
883,10516,1,1090,7,37
884,954,0,123,7,2
885,20086,1,1636,7,62
886,1014,0,135,7,3
887,7276,1,742,7,24
888,10726,1,1108,7,37
889,13048,1,1264,7,50
890,809,0,99,7,2
891,10056,0,825,7,25
892,1170,0,153,7,3
893,12100,1,1198,7,45
894,19180,1,1468,7,64
895,600,0,90,7,2
896,1044,0,135,7,3
897,18064,1,1588,7,55
898,10504,1,1090,7,47
899,32440,1,2092,7,104
900,696,0,99,7,2
901,8158,1,922,7,30
902,9232,1,898,7,29
903,6958,1,736,7,25
904,756,0,111,7,8
905,5056,1,568,7,23
906,1224,0,165,7,5
907,23806,1,1840,7,99
908,14626,1,1360,7,62
909,23110,1,1816,7,95
910,17326,1,1420,7,71
911,23806,1,1840,7,93
912,12556,1,1150,7,52
913,24334,1,1888,7,92
914,18508,1,1462,7,72
915,23806,1,1840,7,93
916,756,0,111,7,3
917,28612,1,1942,7,102
918,13000,1,1240,7,58
919,918,0,120,7,3
920,14380,1,1348,7,61
921,16169,1,1498,7,73
922,498,0,84,7,2
923,14632,1,1372,7,79
924,14788,1,1372,7,66
925,5026,1,568,7,24
926,1260,0,144,7,4
927,13984,1,1240,7,66
928,22409,1,1771,7,94
929,19391,1,1603,7,79
930,12496,1,1150,7,53
931,12544,1,1234,7,57
932,15292,1,1336,7,63
933,14320,1,1336,7,63
934,10054,1,1060,7,47
935,1044,0,147,7,4
936,12850,1,1252,7,56
937,1044,0,144,7,4
938,8483,1,910,7,34
939,966,0,132,7,3
940,6490,1,700,7,22
941,10018,1,988,7,41
942,293,0,48,7,1
943,12844,1,1252,7,56
944,14404,1,1348,7,63
945,8926,1,928,7,39
946,1104,0,138,7,3
947,498,0,84,7,1
948,29219,1,2230,7,87
949,1261,0,165,7,3
950,10678,1,976,7,34
951,14230,1,1336,7,47
952,10511,1,964,7,32
953,978,0,120,7,2
954,119,0,30,7,0
955,918,0,120,7,2
956,10012,1,976,7,33
957,414,0,72,7,1
958,19378,1,1588,7,59
959,11494,1,1156,7,40
960,588,0,90,7,2
961,12844,1,1252,7,43
962,11038,1,1132,7,38
963,8194,1,922,7,30
964,13462,1,1288,7,44
965,894,0,120,7,2
966,2796,0,276,7,7
967,11356,1,1138,7,39
968,762,0,108,7,2
969,11500,1,1162,7,39
970,23182,1,1792,7,73
971,24688,1,1912,7,109
972,19906,1,1636,7,90
973,14578,1,1348,7,84
974,14122,1,1324,7,72
975,6220,1,670,7,31
976,20134,1,1636,7,81
977,25973,1,2032,7,112
978,14722,1,1372,7,62
979,1051,0,141,7,4
980,12064,1,1180,7,60
981,312,0,63,7,2
982,19582,1,1612,7,77
983,23080,1,1810,7,91
984,24688,1,1912,7,98
985,810,0,120,7,4
986,1200,0,159,7,5
987,10846,1,976,7,45
988,19378,1,1588,7,80
989,865,0,135,8,4
990,25478,1,1981,8,108
991,14744,1,1507,8,73
992,42,0,18,8,0
993,8624,1,907,8,47
994,768,0,111,8,4
995,25508,1,2197,8,118
996,11630,1,1129,8,53
997,19334,1,1825,8,86
998,17216,1,1687,8,82
999,4418,1,553,8,27
1000,24608,1,2149,8,104
1001,613,0,102,8,3
1002,23355,1,2104,8,108
1003,21398,1,1957,8,96
1004,16784,1,1615,8,77
1005,16784,1,1615,8,80
1006,10862,1,1087,8,48
1007,1057,0,150,8,4
1008,17696,1,1717,8,81
1009,9530,1,1027,8,47
1010,258,0,51,8,1
1011,17876,1,1735,8,87
1012,270,0,51,8,2
1013,715,0,105,8,3
1014,3199,0,324,8,10
1015,27254,1,2221,8,119
1016,3295,0,345,8,12
1017,26570,1,2281,8,112
1018,3139,0,336,8,11
1019,1321,0,174,8,5
1020,32138,1,2521,8,118
1021,1171,0,159,8,3
1022,8576,1,847,8,29
1023,7652,1,853,8,31
1024,18512,1,1795,8,66
1025,986,0,138,8,2
1026,1561,0,198,8,5
1027,7382,1,805,8,28
1028,2851,0,303,8,7
1029,34316,1,2497,8,102
1030,10327,0,783,8,24
1031,29510,1,2341,8,97
1032,1796,0,234,8,5
1033,57170,1,3499,8,169
1034,937,0,138,8,3
1035,9500,1,907,8,30
1036,18680,1,1537,8,63
1037,22436,1,1855,8,76
1038,953,0,123,8,2
1039,10442,1,1093,8,39
1040,4045,0,396,8,11
1041,3181,0,321,8,8
1042,25508,1,2197,8,87
1043,774,0,117,8,3
1044,38498,1,2875,8,119
1045,34352,1,2605,8,109
1046,3517,0,372,8,10
1047,1644,0,195,8,5
1048,2719,0,288,8,6
1049,39074,1,2791,8,117
1050,39068,1,2911,8,120
1051,67640,1,4063,8,183
1052,847,0,111,8,2
1053,11000,1,1129,8,40
1054,726,0,108,8,2
1055,1837,0,219,8,5
1056,29330,1,2341,8,94
1057,1561,0,198,8,5
1058,34142,1,2617,8,110
1059,1483,0,192,8,5
1060,540,0,90,8,2
1061,1982,0,231,8,5
1062,14732,1,1513,8,98
1063,24584,1,2143,8,136
1064,9668,1,961,8,57
1065,40622,1,2995,8,184
1066,21092,1,1777,8,87
1067,1879,0,228,8,7
1068,1273,0,165,8,5
1069,18213,1,1597,8,79
1070,35794,1,2764,8,155
1071,31270,1,2536,8,144
1072,21740,1,1981,8,105
1073,12770,1,1141,8,57
1074,28520,1,2281,8,135
1075,1141,0,165,8,5
1076,1370,0,183,8,5
1077,1747,0,216,8,7
1078,16280,1,1513,8,78
1079,122120,1,5491,8,422
1080,26048,1,2245,8,111
1081,10825,0,960,8,37
1082,2665,0,297,8,9
1083,22790,1,2065,8,99
1084,349,0,69,8,2
1085,637,0,105,8,3
1086,547,0,96,8,3
1087,18452,1,1555,8,77
1088,4207,0,393,8,13
1089,5444,1,625,8,25
1090,34118,1,2623,8,139
1091,3115,0,378,8,13
1092,29540,1,2353,8,125
1093,28352,1,2281,8,117
1094,33050,1,2029,8,121
1095,360,0,69,8,2
1096,33446,1,2575,8,137
1097,19856,1,1849,8,92
1098,18212,1,1645,8,83
1099,6775,0,636,8,24
1100,19808,1,1837,8,91
1101,2779,0,276,8,11
1102,8510,1,919,8,42
1103,24254,1,1939,8,98
1104,22412,1,1861,8,71
1105,21026,1,1813,8,70
1106,528,0,81,8,1
1107,64916,1,3859,8,202
1108,40508,1,3007,8,119
1109,6494,1,703,8,25
1110,631,0,102,8,2
1111,1832,0,225,8,4
1112,19220,1,1441,8,55
1113,35066,1,2665,8,111
1114,1225,0,168,8,4
1115,68090,1,4003,8,197
1116,21170,1,1933,8,73
1117,3517,0,342,8,8
1118,20678,1,1705,8,62
1119,22148,1,1759,8,71
1120,7232,1,763,8,25
1121,28328,1,2305,8,89
1122,877,0,135,8,3
1123,3974,0,363,9,9
1124,6360,1,730,9,26
1125,17664,1,1702,9,66
1126,45462,1,3508,9,145
1127,48984,1,3694,9,180
1128,68172,1,4102,9,200
1129,1603,0,198,9,4
1130,17568,1,1540,9,65
1131,878,0,141,9,3
1132,2828,0,321,9,7
1133,16770,1,1456,9,64
1134,1250,0,180,9,4
1135,2750,0,333,9,9
1136,20550,1,2074,9,87
1137,1106,0,156,9,3
1138,692,0,120,9,3
1139,17340,1,1690,9,73
1140,2822,0,318,9,8
1141,14286,1,1390,9,78
1142,1533,0,195,9,11
1143,39768,1,2488,9,181
1144,2570,0,309,9,12
1145,94314,1,5470,9,428
1146,4191,0,432,9,14
1147,1382,0,192,9,6
1148,15522,1,1408,9,73
1149,1544,0,198,9,6
1150,8658,1,910,9,48
1151,83292,1,5368,9,325
1152,1370,0,183,9,6
1153,933,0,150,9,5
1154,11502,1,1156,9,56
1155,19266,1,1816,9,91
1156,1142,0,162,9,5
1157,7952,0,666,9,24
1158,32376,1,2680,9,147
1159,22278,1,1750,9,98
1160,3289,0,348,9,13
1161,23274,1,1984,9,104
1162,1136,0,156,9,4
1163,1023,0,144,9,4
1164,25866,1,2398,9,124
1165,47184,1,3556,9,210
1166,2858,0,309,9,11
1167,5564,0,525,9,18
1168,1616,0,222,9,8
1169,12991,1,1357,9,67
1170,29904,1,2518,9,126
1171,3182,0,339,9,11
1172,47635,1,3607,9,199
1173,1706,0,225,9,9
1174,28584,1,2224,9,119
1175,22806,1,1906,9,95
1176,33216,1,2794,9,153
1177,26958,1,2482,9,138
1178,29581,1,2689,9,140
1179,41766,1,3400,9,184
1180,2385,0,285,9,8
1181,2936,0,345,9,11
1182,46266,1,3538,9,192
1183,10584,1,1126,9,47
1184,2252,0,279,9,7
1185,11988,1,1252,9,47
1186,37969,1,3205,9,137
1187,1855,0,219,9,5
1188,18606,1,1786,9,70
1189,35772,1,2914,9,124
1190,40548,1,3178,9,141
1191,2480,0,291,9,7
1192,2329,0,273,9,6
1193,812,0,123,9,3
1194,19512,1,1882,9,75
1195,31734,1,2830,9,117
1196,5918,0,516,9,13
1197,7068,1,790,9,30
1198,24606,1,2272,9,96
1199,2840,0,306,9,8
1200,33840,1,2668,9,109
1201,38511,1,3100,9,131
1202,4963,0,441,9,13
1203,120562,1,6769,10,362
1204,35938,1,3331,10,137
1205,5295,0,516,10,13
1206,91024,1,6109,10,291
1207,58030,1,4501,10,204
1208,1227,0,180,10,4
1209,28522,1,2593,10,114
1210,1701,0,240,10,6
1211,27700,1,2341,10,93
1212,15826,1,1567,10,58
1213,6627,0,609,10,24
1214,44236,1,3799,10,261
1215,14356,1,1345,10,54
1216,82906,1,5437,10,262
1217,54394,1,4303,10,185
1218,73834,1,5245,10,268
1219,5229,0,528,10,16
1220,2139,0,279,10,7
1221,94132,1,6253,10,304
1222,17446,1,1681,10,73
1223,66238,1,4981,10,222
1224,2331,0,276,10,6
1225,57640,1,4333,10,194
1226,25846,1,2083,10,86
1227,5494,0,543,10,13
1228,43498,1,3781,10,158
1229,663,0,114,10,3
1230,67409,1,5053,10,231
1231,14325,0,1218,10,37
1232,33484,1,3139,10,141
1233,5230,0,546,10,14
1234,3262,0,363,10,9
1235,96064,1,6385,10,313
1236,2800,0,330,10,8
1237,8367,0,747,10,20
1238,27727,1,2743,10,128
1239,1389,0,204,10,7
1240,72034,1,5245,10,308
1241,61084,1,4603,10,278
1242,2031,0,264,10,8
1243,6405,0,600,10,21
1244,6471,0,597,10,21
1245,37078,1,3127,10,170
1246,25822,1,2257,10,124
1247,42076,1,3235,10,172
1248,14163,0,1221,10,47
1249,2800,0,318,10,10
1250,4995,0,483,10,16
1251,1623,0,195,10,6
1252,75767,1,5599,10,334
1253,124936,1,7225,10,491
1254,16526,1,1726,10,87
1255,2463,0,300,10,10
1256,36946,1,3391,10,186
1257,2961,0,360,10,13
1258,4810,0,501,10,16
1259,2883,0,339,10,11
1260,2683,0,330,10,10
1261,1196,0,168,10,6
1262,812,0,117,10,4
1263,46661,1,3976,10,226
1264,18772,1,1771,10,93
1265,21772,1,2107,10,111
1266,6838,0,669,10,23
1267,1299,0,186,10,6
1268,12118,1,1273,10,68
1269,3075,0,366,10,14
1270,31036,1,2479,10,135
1271,65380,1,5005,10,291